How to Calculate Symbolically Siphons and Traps for Some Algebraic Petri Nets
نویسنده
چکیده
We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are speci ed without equations and with at most unary operation symbols
منابع مشابه
Siphons and Traps of Algebraic Petri Nets
We overview recent results concerning the symbolic veriication and calculation of siphons and traps for algebraic Petri nets and their relation to the net behavior.
متن کاملFinding minimal siphons and traps as a Constraint satisfaction Problem
Bridging the gap between quantitative and qualitative models, Petri nets (also known as place/transition graphs) have recently emerged as a promising tool for modeling and analysis of biochemical networks. In this paper, we present a method to compute the minimal siphons and traps of a Petri net as a resolution of a CSP. In our case, siphons and traps are purely structural properties that bring...
متن کاملFlexibility in Algebraic Nets
Algebraic Petri nets as deened by Reisig 15] lack a feature for modelling distributed network algorithms, viz. exible arcs. In this paper we equip algebraic Petri nets with exible arcs and we call the resulting extension algebraic system nets. We demonstrate that algebraic system nets are better suited for modelling distributed algorithms. Besides this practical motivation for introducing algeb...
متن کاملA Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets
Petri nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a promising tool for modeling and analyzing biochemical interaction networks, bridging the gap between purely qualitative and quantitative models. Biological networks can indeed be large and complex, which makes their study difficult and computationally challenging. In this paper, we focus on t...
متن کاملUn modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
Petri-nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a powerful tool for the modeling and analysis of biochemical reaction networks, bridging the gap between purely qualitative and quantitative models. These networks can be large and complex, which makes their study difficult and computationally challenging. In this paper, we focus on two structu...
متن کامل